package folexpr.compiler.visitors.d_renaming;
 
import java.util.ArrayList;
import java.util.Collection;
import java.util.HashMap;
import java.util.Map;

public class RenamingVisitParameter
{
	// variabili nel cui campo d'azione mi trovo
	private Collection<String> belongingToVarList;

	// mappa di rinominazioni del tipo (oldName , newName)
	private Map<String,String> renamingMap;

	public RenamingVisitParameter()
	{
		this.renamingMap = new HashMap<String, String>();
		this.belongingToVarList = new ArrayList<String>();
	}

	//////////////////////////////////////////////////////////////////
	
	public Collection<String> getBelongingToVarList() {
		return belongingToVarList;
	}
	public void setBelongingToVarList(Collection<String> belongingToVarList) {
		this.belongingToVarList = belongingToVarList;
	}
	
	public void addBelongingToVar(String var){
		this.belongingToVarList.add(var);
	}	


	public Map<String, String> getRenamingMap() {
		return renamingMap;
	}

	public void setRenamingMap(Map<String, String> renamingMap) {
		this.renamingMap = renamingMap;
	}
	
	public void addRenaming(String renamedVar, String renamingVar)
	{		
		this.renamingMap.put(renamedVar, renamingVar);
	}
	
}
